<?php
function msg($tip,$url)
{
	echo "<script type='text/javascript'>alert('$tip');location.href='$url';</script>";
}
?>